Automated Validation of Class Invariants\ud In C++ Applications

摘要

In this paper, we describe a non-invasive approach\udfor validation of class invariants in C++ applications.\udOur approach is fully automated so that the user need\udonly supply the class invariants for each class hierarchy\udto be checked and our validator constructs an InvariantVisitor,\uda variation of the Visitor Pattern, and an\udInvariantFacilitator. Instantiations of the InvariantVisitor\udand InvariantFacilitator classes encapsulate the invariants\udin C++ statements and facilitate the validation\udof the invariants. We describe both our approach and\udour results of validating invariants in keystone, a well\udtested parser front-end for C++.